3.583 \(\int x^m \left (a+b x^3\right )^3 \, dx\)

Optimal. Leaf size=61 \[ \frac{a^3 x^{m+1}}{m+1}+\frac{3 a^2 b x^{m+4}}{m+4}+\frac{3 a b^2 x^{m+7}}{m+7}+\frac{b^3 x^{m+10}}{m+10} \]

[Out]

(a^3*x^(1 + m))/(1 + m) + (3*a^2*b*x^(4 + m))/(4 + m) + (3*a*b^2*x^(7 + m))/(7 +
m) + (b^3*x^(10 + m))/(10 + m)

_______________________________________________________________________________________

Rubi [A]  time = 0.0586542, antiderivative size = 61, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 1, integrand size = 13, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.077 \[ \frac{a^3 x^{m+1}}{m+1}+\frac{3 a^2 b x^{m+4}}{m+4}+\frac{3 a b^2 x^{m+7}}{m+7}+\frac{b^3 x^{m+10}}{m+10} \]

Antiderivative was successfully verified.

[In]  Int[x^m*(a + b*x^3)^3,x]

[Out]

(a^3*x^(1 + m))/(1 + m) + (3*a^2*b*x^(4 + m))/(4 + m) + (3*a*b^2*x^(7 + m))/(7 +
m) + (b^3*x^(10 + m))/(10 + m)

_______________________________________________________________________________________

Rubi in Sympy [A]  time = 9.97688, size = 53, normalized size = 0.87 \[ \frac{a^{3} x^{m + 1}}{m + 1} + \frac{3 a^{2} b x^{m + 4}}{m + 4} + \frac{3 a b^{2} x^{m + 7}}{m + 7} + \frac{b^{3} x^{m + 10}}{m + 10} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate(x**m*(b*x**3+a)**3,x)

[Out]

a**3*x**(m + 1)/(m + 1) + 3*a**2*b*x**(m + 4)/(m + 4) + 3*a*b**2*x**(m + 7)/(m +
7) + b**3*x**(m + 10)/(m + 10)

_______________________________________________________________________________________

Mathematica [A]  time = 0.0417095, size = 55, normalized size = 0.9 \[ x^m \left (\frac{a^3 x}{m+1}+\frac{3 a^2 b x^4}{m+4}+\frac{3 a b^2 x^7}{m+7}+\frac{b^3 x^{10}}{m+10}\right ) \]

Antiderivative was successfully verified.

[In]  Integrate[x^m*(a + b*x^3)^3,x]

[Out]

x^m*((a^3*x)/(1 + m) + (3*a^2*b*x^4)/(4 + m) + (3*a*b^2*x^7)/(7 + m) + (b^3*x^10
)/(10 + m))

_______________________________________________________________________________________

Maple [B]  time = 0.007, size = 178, normalized size = 2.9 \[{\frac{{x}^{1+m} \left ({b}^{3}{m}^{3}{x}^{9}+12\,{b}^{3}{m}^{2}{x}^{9}+39\,{b}^{3}m{x}^{9}+3\,a{b}^{2}{m}^{3}{x}^{6}+28\,{b}^{3}{x}^{9}+45\,a{b}^{2}{m}^{2}{x}^{6}+162\,a{b}^{2}m{x}^{6}+3\,{a}^{2}b{m}^{3}{x}^{3}+120\,a{b}^{2}{x}^{6}+54\,{a}^{2}b{m}^{2}{x}^{3}+261\,{a}^{2}bm{x}^{3}+{a}^{3}{m}^{3}+210\,{a}^{2}b{x}^{3}+21\,{a}^{3}{m}^{2}+138\,{a}^{3}m+280\,{a}^{3} \right ) }{ \left ( 10+m \right ) \left ( 7+m \right ) \left ( 4+m \right ) \left ( 1+m \right ) }} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int(x^m*(b*x^3+a)^3,x)

[Out]

x^(1+m)*(b^3*m^3*x^9+12*b^3*m^2*x^9+39*b^3*m*x^9+3*a*b^2*m^3*x^6+28*b^3*x^9+45*a
*b^2*m^2*x^6+162*a*b^2*m*x^6+3*a^2*b*m^3*x^3+120*a*b^2*x^6+54*a^2*b*m^2*x^3+261*
a^2*b*m*x^3+a^3*m^3+210*a^2*b*x^3+21*a^3*m^2+138*a^3*m+280*a^3)/(10+m)/(7+m)/(4+
m)/(1+m)

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \text{Exception raised: ValueError} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((b*x^3 + a)^3*x^m,x, algorithm="maxima")

[Out]

Exception raised: ValueError

_______________________________________________________________________________________

Fricas [A]  time = 0.246054, size = 212, normalized size = 3.48 \[ \frac{{\left ({\left (b^{3} m^{3} + 12 \, b^{3} m^{2} + 39 \, b^{3} m + 28 \, b^{3}\right )} x^{10} + 3 \,{\left (a b^{2} m^{3} + 15 \, a b^{2} m^{2} + 54 \, a b^{2} m + 40 \, a b^{2}\right )} x^{7} + 3 \,{\left (a^{2} b m^{3} + 18 \, a^{2} b m^{2} + 87 \, a^{2} b m + 70 \, a^{2} b\right )} x^{4} +{\left (a^{3} m^{3} + 21 \, a^{3} m^{2} + 138 \, a^{3} m + 280 \, a^{3}\right )} x\right )} x^{m}}{m^{4} + 22 \, m^{3} + 159 \, m^{2} + 418 \, m + 280} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((b*x^3 + a)^3*x^m,x, algorithm="fricas")

[Out]

((b^3*m^3 + 12*b^3*m^2 + 39*b^3*m + 28*b^3)*x^10 + 3*(a*b^2*m^3 + 15*a*b^2*m^2 +
54*a*b^2*m + 40*a*b^2)*x^7 + 3*(a^2*b*m^3 + 18*a^2*b*m^2 + 87*a^2*b*m + 70*a^2*
b)*x^4 + (a^3*m^3 + 21*a^3*m^2 + 138*a^3*m + 280*a^3)*x)*x^m/(m^4 + 22*m^3 + 159
*m^2 + 418*m + 280)

_______________________________________________________________________________________

Sympy [A]  time = 9.83612, size = 666, normalized size = 10.92 \[ \begin{cases} - \frac{a^{3}}{9 x^{9}} - \frac{a^{2} b}{2 x^{6}} - \frac{a b^{2}}{x^{3}} + b^{3} \log{\left (x \right )} & \text{for}\: m = -10 \\- \frac{a^{3}}{6 x^{6}} - \frac{a^{2} b}{x^{3}} + 3 a b^{2} \log{\left (x \right )} + \frac{b^{3} x^{3}}{3} & \text{for}\: m = -7 \\- \frac{a^{3}}{3 x^{3}} + 3 a^{2} b \log{\left (x \right )} + a b^{2} x^{3} + \frac{b^{3} x^{6}}{6} & \text{for}\: m = -4 \\a^{3} \log{\left (x \right )} + a^{2} b x^{3} + \frac{a b^{2} x^{6}}{2} + \frac{b^{3} x^{9}}{9} & \text{for}\: m = -1 \\\frac{a^{3} m^{3} x x^{m}}{m^{4} + 22 m^{3} + 159 m^{2} + 418 m + 280} + \frac{21 a^{3} m^{2} x x^{m}}{m^{4} + 22 m^{3} + 159 m^{2} + 418 m + 280} + \frac{138 a^{3} m x x^{m}}{m^{4} + 22 m^{3} + 159 m^{2} + 418 m + 280} + \frac{280 a^{3} x x^{m}}{m^{4} + 22 m^{3} + 159 m^{2} + 418 m + 280} + \frac{3 a^{2} b m^{3} x^{4} x^{m}}{m^{4} + 22 m^{3} + 159 m^{2} + 418 m + 280} + \frac{54 a^{2} b m^{2} x^{4} x^{m}}{m^{4} + 22 m^{3} + 159 m^{2} + 418 m + 280} + \frac{261 a^{2} b m x^{4} x^{m}}{m^{4} + 22 m^{3} + 159 m^{2} + 418 m + 280} + \frac{210 a^{2} b x^{4} x^{m}}{m^{4} + 22 m^{3} + 159 m^{2} + 418 m + 280} + \frac{3 a b^{2} m^{3} x^{7} x^{m}}{m^{4} + 22 m^{3} + 159 m^{2} + 418 m + 280} + \frac{45 a b^{2} m^{2} x^{7} x^{m}}{m^{4} + 22 m^{3} + 159 m^{2} + 418 m + 280} + \frac{162 a b^{2} m x^{7} x^{m}}{m^{4} + 22 m^{3} + 159 m^{2} + 418 m + 280} + \frac{120 a b^{2} x^{7} x^{m}}{m^{4} + 22 m^{3} + 159 m^{2} + 418 m + 280} + \frac{b^{3} m^{3} x^{10} x^{m}}{m^{4} + 22 m^{3} + 159 m^{2} + 418 m + 280} + \frac{12 b^{3} m^{2} x^{10} x^{m}}{m^{4} + 22 m^{3} + 159 m^{2} + 418 m + 280} + \frac{39 b^{3} m x^{10} x^{m}}{m^{4} + 22 m^{3} + 159 m^{2} + 418 m + 280} + \frac{28 b^{3} x^{10} x^{m}}{m^{4} + 22 m^{3} + 159 m^{2} + 418 m + 280} & \text{otherwise} \end{cases} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(x**m*(b*x**3+a)**3,x)

[Out]

Piecewise((-a**3/(9*x**9) - a**2*b/(2*x**6) - a*b**2/x**3 + b**3*log(x), Eq(m, -
10)), (-a**3/(6*x**6) - a**2*b/x**3 + 3*a*b**2*log(x) + b**3*x**3/3, Eq(m, -7)),
(-a**3/(3*x**3) + 3*a**2*b*log(x) + a*b**2*x**3 + b**3*x**6/6, Eq(m, -4)), (a**
3*log(x) + a**2*b*x**3 + a*b**2*x**6/2 + b**3*x**9/9, Eq(m, -1)), (a**3*m**3*x*x
**m/(m**4 + 22*m**3 + 159*m**2 + 418*m + 280) + 21*a**3*m**2*x*x**m/(m**4 + 22*m
**3 + 159*m**2 + 418*m + 280) + 138*a**3*m*x*x**m/(m**4 + 22*m**3 + 159*m**2 + 4
18*m + 280) + 280*a**3*x*x**m/(m**4 + 22*m**3 + 159*m**2 + 418*m + 280) + 3*a**2
*b*m**3*x**4*x**m/(m**4 + 22*m**3 + 159*m**2 + 418*m + 280) + 54*a**2*b*m**2*x**
4*x**m/(m**4 + 22*m**3 + 159*m**2 + 418*m + 280) + 261*a**2*b*m*x**4*x**m/(m**4
+ 22*m**3 + 159*m**2 + 418*m + 280) + 210*a**2*b*x**4*x**m/(m**4 + 22*m**3 + 159
*m**2 + 418*m + 280) + 3*a*b**2*m**3*x**7*x**m/(m**4 + 22*m**3 + 159*m**2 + 418*
m + 280) + 45*a*b**2*m**2*x**7*x**m/(m**4 + 22*m**3 + 159*m**2 + 418*m + 280) +
162*a*b**2*m*x**7*x**m/(m**4 + 22*m**3 + 159*m**2 + 418*m + 280) + 120*a*b**2*x*
*7*x**m/(m**4 + 22*m**3 + 159*m**2 + 418*m + 280) + b**3*m**3*x**10*x**m/(m**4 +
22*m**3 + 159*m**2 + 418*m + 280) + 12*b**3*m**2*x**10*x**m/(m**4 + 22*m**3 + 1
59*m**2 + 418*m + 280) + 39*b**3*m*x**10*x**m/(m**4 + 22*m**3 + 159*m**2 + 418*m
+ 280) + 28*b**3*x**10*x**m/(m**4 + 22*m**3 + 159*m**2 + 418*m + 280), True))

_______________________________________________________________________________________

GIAC/XCAS [A]  time = 0.236883, size = 346, normalized size = 5.67 \[ \frac{b^{3} m^{3} x^{10} e^{\left (m{\rm ln}\left (x\right )\right )} + 12 \, b^{3} m^{2} x^{10} e^{\left (m{\rm ln}\left (x\right )\right )} + 39 \, b^{3} m x^{10} e^{\left (m{\rm ln}\left (x\right )\right )} + 3 \, a b^{2} m^{3} x^{7} e^{\left (m{\rm ln}\left (x\right )\right )} + 28 \, b^{3} x^{10} e^{\left (m{\rm ln}\left (x\right )\right )} + 45 \, a b^{2} m^{2} x^{7} e^{\left (m{\rm ln}\left (x\right )\right )} + 162 \, a b^{2} m x^{7} e^{\left (m{\rm ln}\left (x\right )\right )} + 3 \, a^{2} b m^{3} x^{4} e^{\left (m{\rm ln}\left (x\right )\right )} + 120 \, a b^{2} x^{7} e^{\left (m{\rm ln}\left (x\right )\right )} + 54 \, a^{2} b m^{2} x^{4} e^{\left (m{\rm ln}\left (x\right )\right )} + 261 \, a^{2} b m x^{4} e^{\left (m{\rm ln}\left (x\right )\right )} + a^{3} m^{3} x e^{\left (m{\rm ln}\left (x\right )\right )} + 210 \, a^{2} b x^{4} e^{\left (m{\rm ln}\left (x\right )\right )} + 21 \, a^{3} m^{2} x e^{\left (m{\rm ln}\left (x\right )\right )} + 138 \, a^{3} m x e^{\left (m{\rm ln}\left (x\right )\right )} + 280 \, a^{3} x e^{\left (m{\rm ln}\left (x\right )\right )}}{m^{4} + 22 \, m^{3} + 159 \, m^{2} + 418 \, m + 280} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((b*x^3 + a)^3*x^m,x, algorithm="giac")

[Out]

(b^3*m^3*x^10*e^(m*ln(x)) + 12*b^3*m^2*x^10*e^(m*ln(x)) + 39*b^3*m*x^10*e^(m*ln(
x)) + 3*a*b^2*m^3*x^7*e^(m*ln(x)) + 28*b^3*x^10*e^(m*ln(x)) + 45*a*b^2*m^2*x^7*e
^(m*ln(x)) + 162*a*b^2*m*x^7*e^(m*ln(x)) + 3*a^2*b*m^3*x^4*e^(m*ln(x)) + 120*a*b
^2*x^7*e^(m*ln(x)) + 54*a^2*b*m^2*x^4*e^(m*ln(x)) + 261*a^2*b*m*x^4*e^(m*ln(x))
+ a^3*m^3*x*e^(m*ln(x)) + 210*a^2*b*x^4*e^(m*ln(x)) + 21*a^3*m^2*x*e^(m*ln(x)) +
138*a^3*m*x*e^(m*ln(x)) + 280*a^3*x*e^(m*ln(x)))/(m^4 + 22*m^3 + 159*m^2 + 418*
m + 280)